261. Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
پدیدآورنده : W. Rance Cleaveland )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1579
262. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
پدیدآورنده : Susanne Graf, Michael Schartzbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1785
263. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
پدیدآورنده : Bernhard Steffen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1384
264. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
پدیدآورنده : Nicolas Halbwachs, Lenore D. Zuck )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3440
265. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
پدیدآورنده : Kurt Jensen, Andreas Podelski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2988
266. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Wang Yi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2031
267. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
پدیدآورنده : Hubert Garavel, John Hatcliff )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2619
268. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
پدیدآورنده : Joost-Pieter Katoen, Perdita Stevens )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2280
269. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
پدیدآورنده : Ed Brinksma )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1217
270. Ubiquitous multimedia computing
پدیدآورنده : / edited by Qing Li, Timothy K. Shih
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Multimedia systems.,Ubiquitous computing.,Aufsatzsammlung.--swd,Aufsatzsammlung.
رده :
QA76
.
575
.
U25
2010
271. Understanding enterprise SOA
پدیدآورنده : / Eric Pulier with Hugh Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer software- Development,Computer architecture,System design,Business- Data processing
رده :
QA76
.
76
.
D47
,
P8535
2006
272. Understanding enterprise SOA
پدیدآورنده : Pulier, Eric.,Eric Pulier with Hugh Taylor
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer software, Development,، Computer architecture,، System design,، Business, Data processing
رده :
QA
76
.
76
.
D47
P8535
2006
273. Understanding enterprise SOA
پدیدآورنده : / Eric Pulier with Hugh Taylor
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer software, Development,Computer architecture,System design,Business, Data processing
رده :
QA76
.
76
.
D47
,
P8535
2006
274. Universal access in health telematics : a design code of practice
پدیدآورنده : Constantine Stephanidis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Medical telematics,، Human-computer interaction,، Computer software -- Development,، System design
رده :
QA
76
.
L28
Vol
.
3041
275. Usability engineering :process, products, and examples /Laura M. Leventhal, Julie A. Barnes.
پدیدآورنده : مولف
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : User interfaces (Computer systems),Computer software -- Development,System design.
رده :
QA
76
.
9
.
U83
L49
2008
276. Usability of complex information systems
پدیدآورنده : / edited by Michael J. Albers and Brian Still
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Human-computer interaction.,User-centered system design.,Computer software--Evaluation,Information storage and retrieval systems.,Web site development.
رده :
QA76
.
9
.
H85
,
U68
2011
277. Usability of complex information systems :evaluation of user interaction
پدیدآورنده : editors, Michael J. Albers, Brian Still
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Human -- computer interaction,User-centered system design,Computer software--Evaluation.,Information storage and retrieval systems.,Web site development.
279. analysis and design of information
پدیدآورنده : Rajaraman, V.
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : ، Computer software--Development.,، System analysis.
رده :
QA
76
.
76
.
R3